failure 47:
Requirement failed: {initstate.07} shall return pointer to the previous state
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-07-25_08-37-08/math_rand_scenario.utz (math_rand_scenario.utt), line 5328 |
| occurence |
| scenario |
math_rand_scenario |
| specification function |
initstate_spec() |
| parameter value |
CallContext context = [pid=22135,thr=b751b700] |
| parameter value |
UIntT seed = 0 |
| parameter value |
IntT size = 4 |
| return value |
(InitstateReturnType *) struct InitstateReturnType { res=struct VoidTPtr { system=0, process=22135, address=0 }, CurStatePointer=struct VoidTPtr { system=0, process=22135, address=149185032 } } |
coverage
& branch |
C
size < 8: unsuccessful case |
| properties |
| REQ failed |
initstate.07 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The initstate() function handles restarting of random-number generator.
According to LSB, upon successful completion, initstate() shall return a pointer to the previous state
array; otherwise, a null pointer shall be returned.
But on the target machine the function returns neither a pointer to the previous state,
nor NULL pointer.
|
|